Tokyo University of Science - PDFSEARCH.IO - Document Search Engine

Tokyo University of Science
Results: 477

#	Item
41	Higher-Order Model Checking by Abstraction of Type Derivation Rewriting Takeshi Tsukada1,2 and Naoki Kobayashi3 1 Graduate School of Information Science, Tohoku University Add to Reading List Source URL: www-kb.is.s.u-tokyo.ac.jp Language: English - Date: 2016-04-18 06:57:45
42	Eﬃcient Implementation of Strict Floating-Point Semantics Kazuyuki Shudo Yoichi Muraoka School of Science and Engineering, Waseda University, 3–4–1 Okubo, Shinjuku-ku, Tokyo 169–8555, JAPAN {shudoh,muraoka}@murao Add to Reading List Source URL: www.shudo.net Language: English - Date: 2003-06-09 05:29:35
43	Cell Illustrator™ Player: Reference Manual © Human Genome Center, Institute of Medical Science, The University of Tokyo All rights reserved. Add to Reading List Source URL: www.cellillustrator.com Language: English - Date: 2017-04-05 09:32:55
44	Institute of Social Science, The University of Tokyo Discussion Paper Series J-162 May, 2008 近世的政策金融の終焉 Add to Reading List Source URL: jww.iss.u-tokyo.ac.jp Language: Japanese - Date: 2018-03-21 06:15:22
45	Discussion Paper Series University of Tokyo Institute of Social Science Panel Survey Add to Reading List Source URL: csrda.iss.u-tokyo.ac.jp Language: Japanese - Date: 2015-08-30 21:09:26
46	125th Founding Anniversary and 50th Reorganization Anniversary of the Institute of Medical Science, The University of Tokyo ●12th International Symposium of the Institute Network Add to Reading List Source URL: www.ims.u-tokyo.ac.jp Language: English - Date: 2017-07-27 22:00:55
47	Model Checking of Multi-Process Applications Using SBUML and GDB Yoshihito Nakagawa University of Tokyo Richard Potter Japan Science and Technology Agency Add to Reading List Source URL: nicosia.is.s.u-tokyo.ac.jp Language: English - Date: 2005-05-01 05:50:08
48	School of Science, The University of Tokyo 東京大学理学部 2016 Add to Reading List Source URL: www.s.u-tokyo.ac.jp Language: English - Date: 2016-06-13 01:49:09
49	Draft Charter of The East Asian Community An Academic Proposal Tamio Nakamura Institute of Social Science, University of Tokyo. Add to Reading List Source URL: project.iss.u-tokyo.ac.jp Language: English - Date: 2007-07-23 11:00:00
50	Nonlinear Science Seminar: Effects of Singularities Abstract Philip J. Morrison (University of Texas at Austin) Title: Hamiltonian Description of Matter I Abstract: The Hamiltonian form and its intimately aligned action Add to Reading List Source URL: www.ppl.k.u-tokyo.ac.jp Language: English - Date: 2018-01-28 20:28:40

UPDATE